$\forall$$l$:IdLnk. lname($l$) $\in$ Id